From: Florian Müllner <fmuellner@gnome.org>
Date: Fri, 16 Jan 2015 00:19:37 +0000 (+0100)
Subject: windowManager: Don't shift OR windows when inserting a workspace
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~1898
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=67ec1e551916d7c2ed248b4e09428de7434ed6b8;p=gnome-shell.git

windowManager: Don't shift OR windows when inserting a workspace

We are not supposed to mess around with OR windows, so don't try
to shift them to a different workspace. This fixes a warning with
newer versions of mutter.

https://bugzilla.gnome.org/show_bug.cgi?id=665764
---

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 70d723c19..b45037630 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -904,6 +904,9 @@ const WindowManager = new Lang.Class({
             // to move it
             if (window.get_transient_for() != null)
                 return;
+            // Same for OR windows
+            if (window.is_override_redirect())
+                return;
             // Windows on workspaces below pos don't need moving
             let index = window.get_workspace().index();
             if (index < pos)